Hybrid Algorithms Based on Integer Programming for the Search of Prioritized Test Data in Software Product Lines

In Software Product Lines (SPLs) it is not possible, in general, to test all products of the family. The number of products denoted by a SPL is very high due to the combinatorial explosion of features. For this reason, some coverage criteria have been proposed which try to test at least all feature interactions without the necessity to test all products, e.g., all pairs of features (pairwise coverage). In addition, it is desirable to first test products composed by a set of priority features. This problem is known as the Prioritized Pairwise Test Data Generation Problem. In this work we propose two hybrid algorithms using Integer Programming (IP) to generate a prioritized test suite. The first one is based on an integer linear formulation and the second one is based on a integer quadratic (nonlinear) formulation. We compare these techniques with two state-of-the-art algorithms, the Parallel Prioritized Genetic Solver (PPGS) and a greedy algorithm called prioritized-ICPL. Our study reveals that our hybrid nonlinear approach is clearly the best in both, solution quality and computation time. Moreover, the nonlinear variant (the fastest one) is 27 and 42 times faster than PPGS in the two groups of instances analyzed in this work.Universidad de Málaga. Campus de Excelencia Internacional Andalucía Tech. Partially funded by the Spanish Ministry of Economy and Competitiveness and FEDER under contract TIN2014-57341-R, the University of Málaga, Andalucía Tech and the Spanish Network TIN2015-71841-REDT (SEBASENet)

A retrospective review of post-metamorphic mountain chicken frog (leptodactylus fallax) necropsy findings from European zoological collections, 1998 to 2018

The mountain chicken frog (Leptodactylus fallax) is the largest endemic amphibian species in the Western Hemisphere. Since 1998, this critically endangered species has been maintained as a European Endangered Species Programme, but low breeding success and a high mortality rate threaten the sustainability of the captive frog population. In the current study, we analyzed gross and histopathologic postmortem information from 212 mountain chicken frogs that died in European zoological collections from 1998 to 2018. Thin body condition was the most commonly reported finding across all submissions, observed in 125 frogs. The gastrointestinal and urinary systems were reported to have the highest prevalence of pathologic findings on gross and histopathologic examination. Inflammatory disease was the most frequent diagnosis after histopathologic examination of relevant tissues, with intestinal inflammatory disease (n = 76) followed by tubulointerstitial nephritis (n = 26) being the most commonly reported. Neoplasia was reported in 42 of 212 (19.8%) frogs, all of which were adults. A defined cause of death, or reason for euthanasia, was proposed for 164 of 212 (77.4%) frogs, with inflammatory diseases processes (74 of 212; 34.9%) most commonly implicated. Intestinal adenocarcinoma, seemingly restricted to the colon, caused the deaths of 31 adult frogs. Further investigations to determine factors contributing to the high incidence of inflammatory disease processes and neoplasia are advocated to improve the health and sustainability of the captive mountain chicken frog population

Recent advances in catalytic and non-catalytic epoxidation of terpenes: a pathway to bio-based polymers from waste biomass

\ua9 2023 The Royal Society of Chemistry.Epoxides derived from waste biomass are a promising avenue for the production of bio-based polymers, including polyamides, polyesters, polyurethanes, and polycarbonates. This review article explores recent efforts to develop both catalytic and non-catalytic processes for the epoxidation of terpene, employing a variety of oxidizing agents and techniques for process intensification. Experimental investigations into the epoxidation of limonene have shown that these methods can be extended to other terpenes. To optimize the epoxidation of bio-based terpene, there is a need to develop continuous processes that address limitations in mass and heat transfer. This review discusses flow chemistry and innovative reactor designs as part of a multi-scale approach aimed at industrial transformation. These methods facilitate continuous processing, improve mixing, and either eliminate or reduce the need for solvents by enhancing heat transfer capabilities. Overall, the objective of this review is to contribute to the development of commercially viable processes for producing bio-based epoxides from waste biomass

Functional and molecular characterization of inherited platelet disorders in the Iberian Peninsula: results from a collaborative study

BACKGROUND: The diagnostic evaluation of inherited platelet disorders (IPDs) is complicated and time-consuming, resulting in a relevant number of undiagnosed and incorrectly classified patients. In order to evaluate the spectrum of IPDs in individuals with clinical suspicion of these disorders, and to provide a diagnostic tool to centers not having access to specific platelets studies, we established the project "Functional and Molecular Characterization of Patients with Inherited Platelet Disorders" under the scientific sponsorship of the Spanish Society of Thrombosis and Haemostasis. PATIENTS/METHODS: Subjects were patients from a prospective cohort of individuals referred for clinical suspicion of IPDs as well as healthy controls. Functional studies included light transmission aggregation, flow cytometry, and when indicated, Western-blot analysis of platelet glycoproteins, and clot retraction analysis. Genetic analysis was mainly performed by sequencing of coding regions and proximal regulatory regions of the genes of interest. RESULTS: Of the 70 cases referred for study, we functionally and molecularly characterized 12 patients with Glanzmann Thrombasthenia, 8 patients with Bernard Soulier syndrome, and 8 with other forms of IPDs. Twelve novel mutations were identified among these patients. The systematic study of patients revealed that almost one-third of patients had been previously misdiagnosed. CONCLUSIONS: Our study provides a global picture of the current limitations and access to the diagnosis of IPDs, identifies and confirms new genetic variants that cause these disorders, and emphasizes the need of creating reference centers that can help health care providers in the recognition of these defects

Study protocol of cost-effectiveness and cost-utility of a biopsychosocial multidisciplinary intervention in the evolution of non-specific sub-acute low back pain in the working population: cluster randomised trial.

This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.Background: Low back pain (LBP), with high incidence and prevalence rate, is one of the most common reasons to consult the health system and is responsible for a significant amount of sick leave, leading to high health and social costs. The objective of the study is to assess the cost-effectiveness and cost-utility analysis of a multidisciplinary biopsychosocial educational group intervention (MBEGI) of non-specific sub-acute LBP in comparison with the usual care in the working population recruited in primary healthcare centres. Methods/design: The study design is a cost-effectiveness and cost-utility analysis of a MBEGI in comparison with the usual care of non-specific sub-acute LBP.Measures on effectiveness and costs of both interventions will be obtained from a cluster randomised controlled clinical trial carried out in 38 Catalan primary health care centres, enrolling 932 patients between 18 and 65 years old with a diagnosis of non-specific sub-acute LBP. Effectiveness measures are: pharmaceutical treatments, work sick leave (% and duration in days), Roland Morris disability, McGill pain intensity, Fear Avoidance Beliefs (FAB) and Golberg Questionnaires. Utility measures will be calculated from the SF-12. The analysis will be performed from a social perspective. The temporal horizon is at 3 months (change to chronic LBP) and 12 months (evaluate the outcomes at long term. Assessment of outcomes will be blinded and will follow the intention-to-treat principle. Discussion: We hope to demonstrate the cost-effectiveness and cost-utility of MBEGI, see an improvement in the patients' quality of life, achieve a reduction in the duration of episodes and the chronicity of non-specific low back pain, and be able to report a decrease in the social costs. If the intervention is cost-effectiveness and cost-utility, it could be applied to Primary Health Care Centres. Trial registration: ISRCTN: ISRCTN5871969

Gac two-component system in Pseudomonas syringae pv. tabaci is required for virulence but not for hypersensitive reaction

Pseudomonas syringae pv. tabaci 6605 causes wildfire disease on host tobacco plants. To investigate the regulatory mechanism of the expression of virulence, Gac two-Component system-defective mutants, Delta gacA and Delta gacS, and a double mutant, Delta gacA Delta gacS, were generated. These mutants produced smaller amounts of N-acyl homoserine lactones required for quorum sensing, had lost swarming motility, and had reduced expression of virulence-related hrp genes and the algT gene required for exopolysaccharide production. The ability of the mutants to cause disease symptoms in their host tobacco plant was remarkably reduced, while they retained the ability to induce hypersensitive reaction (HR) in the nonhost plants. These results indicated that the Gac two-component system of P. syringae pv. tabaci 6605 is indispensable for virulence on the host plant, but not for HR induction in the nonhost plants.</p

Molecular Mechanisms of the Diabetogenic Effects of Arsenic: Inhibition of Insulin Signaling by Arsenite and Methylarsonous Acid

BACKGROUND: Increased prevalences of diabetes mellitus have been reported among individuals chronically exposed to inorganic arsenic (iAs). However, the mechanisms underlying the diabetogenic effects of iAs have not been characterized. We have previously shown that trivalent metabolites of iAs, arsenite (iAs(III)) and methylarsonous acid (MAs(III)) inhibit insulin-stimulated glucose uptake (ISGU) in 3T3-L1 adipocytes by suppressing the insulin-dependent phosphorylation of protein kinase B (PKB/Akt). OBJECTIVES: Our goal was to identify the molecular mechanisms responsible for the suppression of PKB/Akt phosphorylation by iAs(III) and MAs(III). METHODS: The effects of iAs(III) and MAs(III) on components of the insulin-activated signal transduction pathway that regulate PKB/Akt phosphorylation were examined in 3T3-L1 adipocytes. RESULTS: Subtoxic concentrations of iAs(III) or MAs(III) had little or no effect on the activity of phosphatidylinositol 3-kinase (PI-3K), which synthesizes phosphatidylinositol-3,4,5-triphosphate (PIP(3)), or on phosphorylation of PTEN (phosphatase and tensin homolog deleted on chromosome ten), a PIP(3) phosphatase. Neither iAs(III) nor MAs(III) interfered with the phosphorylation of 3-phosphoinositide-dependent kinase-1 (PDK-1) located downstream from PI-3K. However, PDK-1 activity was inhibited by both iAs(III) and MAs(III). Consistent with these findings, PDK-1-catalyzed phosphorylation of PKB/Akt(Thr308) and PKB/Akt activity were suppressed in exposed cells. In addition, PKB/Akt(Ser473) phosphorylation, which is catalyzed by a putative PDK-2, was also suppressed. Notably, expression of constitutively active PKB/Akt restored the normal ISGU pattern in adipocytes treated with either iAs(III) or MAs(III). CONCLUSIONS: These results suggest that inhibition of the PDK-1/PKB/Akt-mediated transduction step is the key mechanism for the inhibition of ISGU in adipocytes exposed to iAs(III) or MAs(III), and possibly for impaired glucose tolerance associated with human exposures to iAs

Using the MitoB method to assess levels of reactive oxygen species in ecological studies of oxidative stress

In recent years evolutionary ecologists have become increasingly interested in the effects of reactive oxygen species (ROS) on the life-histories of animals. ROS levels have mostly been inferred indirectly due to the limitations of estimating ROS from in vitro methods. However, measuring ROS (hydrogen peroxide, H2O2) content in vivo is now possible using the MitoB probe. Here, we extend and refine the MitoB method to make it suitable for ecological studies of oxidative stress using the brown trout Salmo trutta as model. The MitoB method allows an evaluation of H2O2 levels in living organisms over a timescale from hours to days. The method is flexible with regard to the duration of exposure and initial concentration of the MitoB probe, and there is no transfer of the MitoB probe between fish. H2O2 levels were consistent across subsamples of the same liver but differed between muscle subsamples and between tissues of the same animal. The MitoB method provides a convenient method for measuring ROS levels in living animals over a significant period of time. Given its wide range of possible applications, it opens the opportunity to study the role of ROS in mediating life history trade-offs in ecological settings

ADC Nonlinearity Correction for the Majorana Demonstrator

Imperfections in analog-to-digital conversion (ADC) cannot be ignored when signal digitization requirements demand both wide dynamic range and high resolution, as is the case for the Majorana Demonstrator 76Ge neutrinoless double-beta decay search. Enabling the experiment's high-resolution spectral analysis and efficient pulse shape discrimination required careful measurement and correction of ADC nonlinearities. A simple measurement protocol was developed that did not require sophisticated equipment or lengthy data-taking campaigns. A slope-dependent hysteresis was observed and characterized. A correction applied to digitized waveforms prior to signal processing reduced the differential and integral nonlinearities by an order of magnitude, eliminating these as dominant contributions to the systematic energy uncertainty at the double-beta decay Q value

Dasatinib inhibits CXCR4 signaling in chronic lymphocytic leukaemia cells and impairs migration towards CXCL12

Chemokines and their ligands play a critical role in enabling chronic lymphocytic leukaemia (CLL) cells access to protective microenvironmental niches within tissues, ultimately resulting in chemoresistance and relapse: disruption of these signaling pathways has become a novel therapeutic approach in CLL. The tyrosine kinase inhibitor dasatinib inhibits migration of several cell lines from solid-organ tumours, but effects on CLL cells have not been reported. We studied the effect of clinically achievable concentrations of dasatinib on signaling induced by the chemokine CXCL12 through its' receptor CXCR4, which is highly expressed on CLL cells. Dasatinib pre-treatment inhibited Akt and ERK phosphorylation in CLL cells upon stimulation with CXCL12. Dasatinib also significantly diminished the rapid increase in actin polymerisation observed in CLL cells following CXCL12 stimulation. Moreover, the drug significantly inhibited chemotaxis in a transwell assay, and reduced the percentage of cells able to migrate beneath a CXCL12-expressing murine stromal cell line. Dasatinib also abrogated the anti-apoptotic effect of prolonged CXCL12 stimulation on cultured CLL cells. These data suggest that dasatinib, akin to other small molecule kinase inhibitors targeting the B-cell receptor signaling pathway, may redistribute CLL cells from protective tissue niches to the peripheral blood, and support the investigation of dasatinib in combination strategies